newtype BiComp bf fu gu a b = BiComp (bf (fu a) (gu b))